Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
351	f16 – NAG Interface to BLAS f16pjc NAG Library Function Document nag_dtrsv (f16pjc) Add to Reading List Source URL: www.nag.co.uk Language: English - Date: 2012-01-26 06:18:09 C Standard Library Numerical linear algebra Scanf format string Printf format string Matrix Triangular matrix Array data type Vector space Algebra Linear algebra Mathematics
352	“Scrap Your Boilerplate” Reloaded Ralf Hinze1 Andres L¨oh1 Bruno C. d. S. Oliveira2 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Type theory Generic programming Method C++ Data types C++ classes C Generic function Polymorphism Software engineering Computing Computer programming
353	Package ‘harvestr’ February 20, 2015 Type Package Title A Parallel Simulation Framework Version[removed]Date[removed] Add to Reading List Source URL: mirror.ibcp.fr Language: English - Date: 2015-02-19 18:03:17 Seed Hoarding JavaScript Function Cache Computing Biology Behavior Plant reproduction Plant sexuality
354	Persistent Renal Hypertrophy and Faster Decline of Glomerular Filtration Rate Precede the Development of Microalbuminuria in Type 1 Diabetes Gianpaolo Zerbini,1 Riccardo Bonfanti,2 Franco Meschi,2 Emilio Bognetti,2 Pier Add to Reading List Source URL: diabetes.diabetesjournals.org Language: English Biology Kidney diseases Renal physiology Renal function Diabetic nephropathy Albuminuria Diabetes mellitus Kidney transplantation Creatinine Medicine Diabetes Anatomy
355	Dependency-style Generic Haskell ¨ Dave Clarke, Johan Jeuring Andres Loh, Universiteit Utrecht [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Generic programming Type theory Functional programming Data types Parameter Type class Haskell Conditional Generic function Software engineering Computing Computer programming
356	Logical Types for Untyped Languages ∗ Sam Tobin-Hochstadt Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Deduction Philosophy of language Logical syntax Propositional calculus Natural deduction Function Symbol Lambda calculus Logic Mathematics Mathematical logic
357	Table 1.103 - Federal and State adult correctional facilities, by type of facility and facility function, United States, June 30, 2000 Add to Reading List Source URL: www.albany.edu Language: English - Date: 2010-01-02 15:45:30 Penology Prison
358	MathematicaTM programming: an advanced introduction Add to Reading List Source URL: www.mathprogramming-intro.org Language: English - Date: 2009-02-04 14:33:04 Cross-platform software Procedural programming languages Function Pattern matching K C Bracket Type theory Software engineering Computing Mathematics
359	A language for mathematical knowledge management Steven Kieffer1 , Jeremy Avigad2 , and Harvey Friedman3? 1 2 Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2008-05-06 09:00:00 Model theory Functions and mappings Function First-order logic New Foundations Interpretation Mathematical proof Structure Type theory Mathematics Mathematical logic Logic
360	Scanning Function Specifications (Standard) bizhub[removed]General Specifications Product Name Type Scan Resolution Add to Reading List Source URL: www.biz.konicaminolta.com Language: English - Date: 2012-03-01 10:00:00 Printing Konica Minolta Printer Konica Océ Minolta Tagged Image File Format Paper size Inkjet printer Office equipment Technology Media technology

UPDATE